# Copyright 1999-2004 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header:  $

inherit eutils

DESCRIPTION="Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic."
HOMEPAGE="http://lipforge.ens-lyon.fr/www/gappa/"
SRC_URI="http://lipforge.ens-lyon.fr/frs/download.php/159/${P}.tar.gz"

LICENSE="CeCILL"
SLOT="0"
KEYWORDS="x86 sparc"

IUSE=""
DEPEND="dev-libs/boost"

src_compile() {
	econf || die
	emake || die
}

src_install() {
	einstall || die
}
